Mach’s principle is equivalent to newton’s first axiom (a survey)
نویسندگان
چکیده
منابع مشابه
A Combinatorial Principle]A Combinatorial Principle Equivalent to the Existence
As a consequence of identifying the principle described in the title, we prove that for any uncountable cardinal λ, if there is a λ-free Whitehead group of cardinality λ which is not free, then there are many “nice” Whitehead groups of cardinality λ which are not free.
متن کاملZhong’s Variational Principle Is Equivalent with Ekeland’s
The functional type extension of Ekeland’s variational principle [7] due to Zhong [18] is logical equivalent with it.
متن کاملSome Restricted Lindenbaum Theorems Equivalent to the Axiom of Choice
Dzik (1981) gives a direct proof of the axiom of choice from the generalized Lindenbaum extension theorem LET. The converse is part of every decent logical education. Inspection of Dzik’s proof shows that its premise let attributes a very special version of the Lindenbaum extension property to a very special class of deductive systems. The problem therefore arises of giving a direct proof, not ...
متن کاملIs Hesaabdaaree an Adequate Equivalent for Accounting?
Some of the difficulties and misunderstandings that happen in accounting theory, practice, regulation and education are grounded in language and linguistics. As an illustration of this the Persian equivalent of 'accounting' is linguistically analysed to reveal how a mistranslation may cause difficulties in understanding and improving Iranian Accounting. This paper shows how Hesaabdaaree is not ...
متن کاملAxiom Pinpointing is Hard
We investigate the complexity of several decision, enumeration and counting problems in axiom pinpointing in Description Logics. We prove hardness results that already hold for the propositional Horn fragment. We show that for this fragment, unless p = np, all minimal subsets of a given TBox that have a given consequence, i.e. MinAs, cannot be enumerated in a specified lexicographic order with ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: International Journal of Computational Methods and Experimental Measurements
سال: 2016
ISSN: 2046-0546,2046-0554
DOI: 10.2495/cmem-v4-n4-369-379